The unique (up to isomorphism) algebraic extension of the field F that is algebraically closed.